Don't try and call DevController if we can't destroy a device ourselves,
authoremellor@ewan <emellor@ewan>
Wed, 12 Oct 2005 11:56:52 +0000 (12:56 +0100)
committeremellor@ewan <emellor@ewan>
Wed, 12 Oct 2005 11:56:52 +0000 (12:56 +0100)
commit0041d06c9531207693fb29c02c5dd0044945f7e8
tree52871a6bfa745107c64f19166d33c01ef6838b6a
parentc74a06ff247221354c995ea0a025bcdeef59698e
Don't try and call DevController if we can't destroy a device ourselves,
because we are already inside the ValueError exception handler, so we know that
the give device identifier is not an integer, and DevController.destroyDevice
only accepts integers.  Fixes bug #315.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
tools/python/xen/xend/server/blkif.py